ANALYSIS OF COGNITIVE MODELS IN CONSTRAINT HANDLING RULES

Autor: GALL, DANIEL

Sección: INFORMÁTICA (LIBROS) - Otros libros de Informática

ANALYSIS OF COGNITIVE MODELS IN CONSTRAINT HANDLING RULES

ANALYSIS OF COGNITIVE MODELS IN CONSTRAINT HANDLING RULES

40,00€ IVA INCLUIDO

Editorial:
-
Publicación:
11/10/2021
Ver ficha completa

NO DISPONIBLE

Sinopsis

Computational cognitive modeling explores cognition by building computational models for cognitive processes, mechanisms and representations. Currently, implementations of cognitive models lack a formal foundation. This inhibits analysis. In this thesis, the cognitive architecture Adaptive Control of Thought - Rational (ACT-R) is formalized and embedded into the rule-based programming language Constraint Handling Rules (CHR). The powerful analytical methods of CHR, particularly …

Computational cognitive modeling explores cognition by building computational models for cognitive processes, mechanisms and representations. Currently, implementations of cognitive models lack a formal foundation. This inhibits analysis. In this thesis, the cognitive architecture Adaptive Control of Thought - Rational (ACT-R) is formalized and embedded into the rule-based programming language Constraint Handling Rules (CHR). The powerful analytical methods of CHR, particularly confluence analysis, are extended by reasoning modulo equivalence relations. The results are applied to the domain of cognitive modeling.
Leer más

Más información del libro

ANALYSIS OF COGNITIVE MODELS IN CONSTRAINT HANDLING RULES

Editorial:
-
Fecha Publicación:
Formato:
Normal tapa blanda (libros)
ISBN:
978-3-7543-9678-0
EAN:
9783754396780
Nº páginas:
0
Colección:
Lengua:
INGLES
Alto:
220 mm
Ancho:
170 mm
Sección:
INFORMÁTICA (LIBROS)
Sub-Sección:
Otros libros de Informática
Daniel Gall studied computer science at the University of Ulm where he soon developed an interest in programming paradigms, logic programming and theoretical foundations of computer science. He pursued his PhD at the Institute of Software Engineering and Programming Languages in Ulm, where he focused on the interdisciplinary field of computational cognitive modeling and program analysis of rule-based languages. Currently, he works as a software engineer and team leader of a cloud backend development team.

Otros libros en INFORMÁTICA (LIBROS)

También te pueden interesar